Preorder($\mathbb{Z}$;$x$,$y$.$x$ $\mid$ $y$)